X Collusion-Resistant Tournament Design to Create and Disseminate Knowledge in Formal Sciences
نویسندگان
چکیده
We solve the problem of collusion in massive online tournaments (of formal scientific communities) which, surprisingly, has a simple yet rather counterintuitive solution. The solution requires that we collect the participants’ side-choices of whether they want to be proponent or opponent of a given claim, leading to the concept of a forced player or a devil’s advocate. In the presence of side-choice and forced players, we have succeeded in finding a broad class of collusion-resistant and incentive-compatible mechanisms for tournaments. We model the ranking of participants using three axioms NNEW (Non-Negative Effect for Winning), NPEL (Non-Positive Effect for Losing) and the crucial axiom called collusion-resistance (CR). We prove that any ranking function satisfying the three axioms must be based on a special kind of loss, called a fault. Those faults provide an elegant implementation of CR. We are used to building meritocracy based on winning. But in the world of side-choosing games, surprisingly, the standard approach does not work in general for any tournament. There is a simple alternative and we have two theorems to prove it: The Representation Theorem and the Meritocracy Theorem. Version 2/9/2015.
منابع مشابه
X Design and Secure Evaluation of Side-Choosing Games
We present an important, general class of new games, called side-choosing games (SCGs), for “gamifying” problem solving in formal sciences. Applications of SCGs include (1) peer-grading in teaching to (2) studying the evolution of knowledge in formal sciences to (3) organizing algorithm competitions. We view SCGs as a new programming language for human computation for formal problem solving and...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملX Theory of Side-Choosing Games to Create and Disseminate Knowledge in Formal Sciences
How do we create knowledge? We use the language of side-choosing games to instruct humans about which knowledge needs to be created, i.e., which problem needs solving. The language of side-choosing games becomes the domain-specific language for the human computation system for formal science. What is unique about our approach to create knowledge? To support a claim, a game is played. Playing a ...
متن کاملDesign and Secure Evaluation of Side-Choosing Games
We present an important, general class of new games, called side-choosing games (SCGs), for “gamifying” problem solving in formal sciences using plausibility checking. Applications of SCGs include (1) peer-grading in teaching to (2) studying the evolution of knowledge in formal science communities to (3) organizing algorithm competitions. We view SCGs as a new and general model for formulating ...
متن کاملTheory of Side-Choosing Games to Create and Disseminate Knowledge in Formal Science Domains
How do we create knowledge? We use the language of side-choosing games to instruct humans about which knowledge needs to be created, i.e., which problem needs solving. The language of side-choosing games becomes the domain-specific language for the human computation system. Our: side-choosing game (SCG) language uses a programming language to express game states and their transitions. What is u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015